$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$). es{-}le(${\it es}$; $e$; ${\it e'}$) $\Rightarrow$ (hd([$e$, ${\it e'}$]) = $e$)